32 ideas
1542 | Diogenes of Apollonia was the last natural scientist [Diogenes of Apollonia, by Simplicius] |
14240 | The empty set is something, not nothing! [Oliver/Smiley] |
14239 | The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley] |
14241 | We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley] |
14242 | Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley] |
14243 | The unit set may be needed to express intersections that leave a single member [Oliver/Smiley] |
14234 | If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley] |
14237 | We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley] |
14245 | Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley] |
14246 | If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley] |
14247 | Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley] |
13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
489 | Each thing must be in some way unique [Diogenes of Apollonia] |
13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
483 | Start a thesis with something undisputable [Diogenes of Apollonia] |
1544 | Perception must be an internal matter, because we can fail to perceive when we are preoccupied [Diogenes of Apollonia, by Theophrastus] |
13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
24042 | The older Diogenes said the soul is air, made of the smallest particles [Diogenes of Apollonia] |
5995 | Diogenes of Apollonia offered the first teleological account of cosmology [Diogenes of Apollonia, by Robinson,TM] |
484 | Everything is ultimately a variation of one underlying thing [Diogenes of Apollonia] |
488 | Air is divine, because it is in and around everything, and arranges everything [Diogenes of Apollonia] |
486 | Plants and animals can only come into existence if something fixes their species [Diogenes of Apollonia] |
485 | Things must retain their essential nature during change, or mixing would be impossible [Diogenes of Apollonia] |